Section: Dissemination

Teaching - Supervision - Juries

• Mario Bravetti

  • Master: “Linguaggi, Compilatori e Modelli Computazionali”, 120 hours, 1st year, University of Bologna, Italy.

• Ugo Dal Lago

  • Undergraduate: “Algorithms and Data Structures for Biology”, 60 hours, 2nd year, University of Bologna, Italy. 20 hours, 1st year, University of Bologna, Italy.

  • Undergraduate: “Optimization”, 36 hours, 2nd year, University of Bologna, Italy.

  • Master: “Foundations of Logic for Computer Science”, 24 Hours, 2nd year. University of Bologna, Italy.

  • Master: “Cryptography”, 40 Hours, 2nd year, University of Bologna, Italy'.

  • Master: “Languages and Algorithms for AI: Machine Learning Theory”, 32 Hours, 1st year, University of Bologna, Italy'.

• Maurizio Gabbrielli

  • Undergraduate: “Programming languages”, 40 hours, 2nd year, University of Bologna, Italy.

  • Master: “Artificial Intelligence”, 60 hours, 2nd year, University of Bologna, Italy.

• Francesco Gavazzo

  • Undergraduate: “Programming languages”, 30 hours, 2nd year, University of Bologna, Italy.

  • Undergraduate: “Basic Computer Skills”. 30 hours, BSc Medical Chemistry and Pharmaceutical Technology, BSc Biology, University of Bologna.

• Ivan Lanese

  • Undergraduate: “Architettura degli Elaboratori”, 66 hours, 1st year, University of Bologna, Italy.

  • Master: “Ingegneria del Software Orientata ai Servizi”, 22 hours, 2nd year, University of Bologna, Italy.

  • Master: “Algorithms and data structures for computational biology”, 36 hours, 1at year, University of Bologna, Italy.

  • Master: “Programming for bioinformatics”, 30 hours, 1st year, University of Bologna, Italy.

• Cosimo Laneve

  • Undergraduate: “Programmazione”, 70 hours, 1st year, University of Bologna, Italy.

  • Master: “Analisi di Programmi”, 42 hours, 1st year, University of Bologna, Italy.

• Simone Martini

  • Master: “Introduction to Algorithms and Programming”, 32 hours, 1st year, University of Bologna, Italy.

• Davide Sangiorgi

  • Undergraduate: “Operating Systems”, 110 hours, 2nd year, University of Bologna, Italy.

  • Undergraduate: “Computer abilities for biologists”, 8 hours, 1st year, University of Bologna, Italy.

• Gianluigi Zavattaro

  • Master: “Scalable and Cloud Programming”, 50 hours, 2nd year, University of Bologna, Italy.

  • Undergraduate: “Algoritmi e strutture dati”, 60 hours, 2nd year, University of Bologna, Italy.

  • Master: “Languages and Algorithms for Artificial Intelligence”, 32 hours, 1st year, University of Bologna, Italy (Master in Artificial Intelligence).

• Melissa Antonellii, November 2019. “Probabilistic Arithmetic and Almost-sure Termination”. Supervisor Ugo Dal Lago.

• Adrien Durier, September 2016, "Proving behavioural properties of higher-order concurrent languages", ENS de Lyon and University of Bologna. Supervisors: Daniel Hirschkoff and Davide Sangiorgi.

• Michael Lodi, January 2017, “Introducing Computational Thinking in K-12 Education: Historical, Epistemological, Cognitive and Affective Aspects”. Supervisor: S. Martini.

• Gabriele Vanoni, November 2018. “Optimal Reduction, Geometry of Interaction, and the Space-Time Tradeoff”. Supervisor Ugo Dal Lago.

• Stefano Pio Zingaro, November 2016, “High level languages for Internet of Things applications”. Supervisor: Maurizio Gabbrielli.

PhD thesis completed in 2018:

• Raphaelle Crubillé, October 2015, “Bisimulation Metrics and Probabilistic Lambda Calculi”, Université Denis Diderot and University of Bologna. Supervisors Thomas Ehrhard and Ugo Dal Lago.

• Francesco Gavazzo, October 2015, “Coinductive Techniques for Effectful Lambda Calculi”. Supervisor U. Dal Lago.

• Tong Liu, November 2015, “Constraint based languages for Software Defined Networks”. Supervisor: Maurizio Gabbrielli.